set of integers is an integral domain